Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
401	Proc. 2nd Intern. Joint Conf. on Autonomous Agent and Multiagent Systems (AAMAS-03), to appear. An Analysis and Application of Distributed Constraint Satisfaction and Optimization Algorithms in Sensor Networks Add to Reading List Source URL: www.cse.wustl.edu Language: English - Date: 2003-04-05 10:56:04 Applied mathematics Constraint satisfaction problem Graph coloring Constraint satisfaction Wireless sensor network Distributed computing Local search Constraint optimization Algorithm Constraint programming Mathematics Theoretical computer science
402	An Empirical Study of Some Feature Matching Strategies ´ Etienne Vincent and Robert Lagani`ere School of Information Technology and Engineering University of Ottawa, Ottawa, Canada, K1N 6N5 Add to Reading List Source URL: www.site.uottawa.ca Language: English - Date: 2012-06-04 14:31:24 Database index Symmetry Computer vision Artificial intelligence Data management Constraint programming Computing Virtual Network Computing Epipolar geometry Fundamental matrix
403	Principles of Constraint Programming Krzysztof R. Apt Chapter 2 Constraint Satisfaction Problems: Examples Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2007-01-19 03:21:17 Linguistics Local consistency Constraint programming Constraint satisfaction Zebra Puzzle
404	Model Checking Using SMT and Theory of Lists Aleksandar Milicevic1 and Hillel Kugler2 1 Massachusetts Institute of Technology (MIT), Cambridge, MA, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Phase transition Infinite loop FO Theoretical computer science Mathematics Applied mathematics
405	Principles of Constraint Programming Krzysztof R. Apt Chapter 4 Some Complete Constraint Solvers Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2007-10-03 21:20:16 Constraint logic programming Logic programming Constraint programming Integral calculus Differentiation rules
406	Constraints of Difference and Equality: A Complete Taxonomic Characterisation? Emmanuel Hebrard1 , D´ aniel Marx2 , Barry O’Sullivan1 , and Igor Razgon1 1 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Computing Local consistency Constraint satisfaction Mathematical optimization Decomposition method AC-3 algorithm Constraint programming Software engineering Computer programming
407	Microsoft PowerPoint - Slides On The Feasibility.ppt [Read-Only] Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:26 Information Parallel computing Consistency model Local consistency Self-stabilization Communications protocol Constraint programming Computing Data
408	Journal of Global Optimization Rigorous verification of feasibility --Manuscript Draft-Manuscript Number: Full Title: Rigorous verification of feasibility Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2013-09-18 13:51:42 Operations research Mathematical analysis Constraint Relaxation Local consistency Exponentiation Interval arithmetic Linear programming Quadratic programming Mathematical optimization Mathematics Constraint programming
409	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-05-29 03:59:19 Constraint programming Logic in computer science Automated theorem proving Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Uninterpreted function Decision problem Theoretical computer science Mathematics Applied mathematics
410	PDF Document Add to Reading List Source URL: www.unisa.edu.au Language: English - Date: 2012-12-13 19:53:35 Mathematics Convex optimization Linear programming Penalty method Karush–Kuhn–Tucker conditions Constraint optimization Optimization problem Interior point method Multidisciplinary design optimization Mathematical optimization Mathematical analysis Operations research

UPDATE